261. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
المؤلف: M. Main...]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
262. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
263. Mathematical theory of computation
المؤلف:
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Electronic digital computers - Programming,Debugging in computer science
رده :
QA76
.
6
.
M356
264. Mathematical theory of computation
پدیدآورنده : Manna, Zohar
موضوع : ، Electronic digital computers -- Programming,، Debugging in computer science
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
265. Mathematical theory of computation
المؤلف: Manna, Zohar.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Debugging in computer science
رده :
QA
76
.
6
.
M356
266. Mathematical theory of computation
المؤلف: / Zohar Manna
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Electronic digital computers - Programming,Debugging in computer science
رده :
001
.
6425
M282
267. Mathematics for computer programmers
المؤلف: Kay, Christine Benedyk
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Computer science- Mathematics,، Electronic digital computers- Programming
رده :
QA
76
.
9
.
M35
K38
268. Mathematics of program construction
المؤلف: Ronald Back house Jose Nuno oliveria
المکتبة: (کرمان)
موضوع: Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
269. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
270. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
المؤلف: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
271. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
المؤلف: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
272. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
273. Measuring the development of Saudi Arabia as an information society
المؤلف: Alabdali, Ohoud
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: QA75 Electronic computers. Computer science
274. Memory architecture parallel access
المؤلف: Gossel, Michael
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Parallel processing )Electronic computers(,، Memory management )Computer science(
رده :
QA
76
.
58
.
G67
275. Memory storage patterns in parallel processing
المؤلف: / by Mary E. Mace
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Parallel processing (Electronic computers),Data structures (Computer science)
رده :
004
.
35
M141M
276. Meta - Levels Architectures and Reflection
المؤلف: Edited by Patie MAES, Daniele NARDI
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)
رده :
QA
،
76
.
7
،.
M48
،
1988
277. Meta-level architectures and reflection
المؤلف: edited by Pattie Maes, Daniel Nardi
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(
رده :
QA
76
.
7
.
M48
1988
278. Métodos de Bézier y B-splines.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic computers. Computer science.
279. Minidictionary of Computing
المؤلف: Illingworth, Valerie
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Dictionaries ، Electronic digital computers,Dictionaries ، Computers,Dictionaries ، Computer science
رده :
QA
76
.
15
.
I44
1986
280. Minidictionary of computing
المؤلف: / [compiler valerie lllingworth
المکتبة: المكتبة المركزية لجامعة كاشان للعلوم الطبية (أصبهان)
موضوع: Electronic digital computers- dictionaries,computers- dictionaries,computer science- dictionaries
رده :
QA76/15
.
M405
1986
